Towards the Formalization of a Factory Demonstrator in BeSpaceD

class PhysicalEvent[+I, S](component: PhysicalObject[I], timepoint: TimePoint[Long], state: PhysicalState[S]) extends INSTATE[PhysicalObject[I], Long, PhysicalState[S]] (component, timepoint, state) with BeSpaceDGestalt.core.Event[S] abstract class DeviceEvent[+I, S](device: Device[I], timepoint: TimePoint[Long], state: DeviceState[S]) extends PhysicalEvent[I, S](device, timepoint, state)class DeviceEvent[+I, S](device: Device[I], timepoint: TimePoint[Long], state: DeviceState[S]) extends PhysicalEvent[I, S](device, timepoint, state) abstract class ActuatorEvent[+I, S](actuator: Actuator[I], timepoint: TimePoint[Long], state: ActuatorState[S]) extends DeviceEvent[I, S](actuator, timepoint, state)class ActuatorEvent[+I, S](actuator: Actuator[I], timepoint: TimePoint[Long], state: ActuatorState[S]) extends DeviceEvent[I, S](actuator, timepoint, state) abstract class SensorEvent[+I, S](sensor: Sensor[I], timepoint: TimePoint[Long], state: SensorState[S]) extends DeviceEvent[I, S](sensor, timepoint, state)class SensorEvent[+I, S](sensor: Sensor[I], timepoint: TimePoint[Long], state: SensorState[S]) extends DeviceEvent[I, S](sensor, timepoint, state) The following allows the application to model live events describing changes in the state of the factory, for example: SensorEvent(StackEmpty, TimePoint(new Date()), Obstructed) This means the relevant light sensor has detected the stack is empty. 3.5 Topologies The following types are defined for creating application specific topologies: abstract trait Relationship abstract trait SpatialRelationship extends Relationship abstract trait TemporalRelationship extends Relationship abstract trait SpatioTemporalRelationship extends SpatialRelationship with TemporalRelationshiptrait Relationship abstract trait SpatialRelationship extends Relationship abstract trait TemporalRelationship extends Relationship abstract trait SpatioTemporalRelationship extends SpatialRelationship with TemporalRelationship type Topology[+COM <: Component[Any], +REL <: Relationship] = BeGraphAnnotated[COM, REL] type SpatialTopology[+COM <: Component[Any], +SREL <: SpatialRelationship] = BeGraphAnnotated[COM, SREL] type TemporalTopology[+COM <: Component[Any],